翻訳と辞書 Words near each other ・ gss ・ gss-api ・ gt ・ gt/sql ・ gtg ・ gtk+ ・ gtl ・ gu ・ guaranteed scheduling ・ guard ・ guarded horn clauses ・ gubbish ・ gui ・ guide ・ guide to available mathematical software ・ guiltware ・ gun ・ gunch ・ gunning transceiver logic ・ gunzip Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Guarded horn clauses ： FOLDOC Guarded Horn Clauses (GHC) A parallel dialect of Prolog by K. Ueda in which each clause has a guard. GHC is similar to Parlog. When several clauses match a goal, their guards are evaluated in parallel and the first clause whose guard is found to be true is used and others are rejected. It uses {committed-choice nondeterminism}. See also FGHC, KL1. (1995-05-09) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.